<?php

echo "You have successfully logged out.<br />\n";
